Nuprl Lemma : duplicate-and 0,22

pq:Prop. p & p & q  p & q 
latex


DefinitionsType, Prop, t  T, x:AB(x), P & Q, P  Q, P  Q, P  Q, x:AB(x)

origin